minios: fix free_fbfront

When a stubdom is destroyed, fbfront tries to unbind the evtchn
twice.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

diff --git a/extras/mini-os/fbfront.c b/extras/mini-os/fbfront.c
index 355b8eef06fd6c949101feb823b6905143f5aa02..1406de021208ce622a64703aa91882beaf54f814 100644 (file)
--- a/extras/mini-os/fbfront.c
+++ b/extras/mini-os/fbfront.c
@@ -655,8 +655,6 @@ close_fbfront:
     snprintf(path, sizeof(path), "%s/feature-update", nodename);
     xenbus_rm(XBT_NIL, path);
 
-    unbind_evtchn(dev->evtchn);
-
     free_fbfront(dev);
 }